$\forall$$T$:Type, $A$, $B$:$T$ List. l\_contains($T$;$A$;$A$ @ $B$)